(assert (ite))
